An Executable Calculus for Service Choreography
نویسندگان
چکیده
The Lightweight Coordination Calculus (LCC) is a compact choreography language based on process calculus. LCC is a directly executable specification and can therefore be dynamically distributed to a group of peers for enactment at run-time; this offers flexibility and allows peers to coordinate in open systems without prior knowledge of an interaction. This paper contributes to the body of choreography research by proposing two extensions to LCC covering parallel composition and choreography abstraction. These language extensions are evaluated against a subset of the Service Interaction Patterns, a benchmark in the process modelling community.
منابع مشابه
Applied Choreographies
Choreographic Programming is a methodology for the development of concurrent software based on a correctness-by-construction approach which, given a global description of a system (a choreography), automatically generates deadlock-free communicating programs via an EndPoint Projection (EPP). Previous works use target-languages for EPP that, like their source choreography languages, model commun...
متن کاملExecutable Choreography Processes with Aspect-Sensitive Services
This paper presents an executable service choreography framework (ECF). Current choreography languages are specification languages. They are used at design time to define a mutual contract between services that are under the supervision of different domain controllers. Choreography contracts are established by specifying the observable sequence of messages that are exchanged between services. S...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملInteracting services: From specification to execution
Interacting services play a key role to realize business process integration among different business partners by means of electronic message exchange. In order to provide seamless integration of these services, the messages exchanged as well as their dependencies must be well-defined. Service choreographies are a means to describe the allowed conversations. This article presents a requirements...
متن کاملSession-based Choreography with Exceptions
Choreography has recently emerged as a pragmatic and concise way of describing communication-based systems such as web services and financial protocols. Recent studies have investigated the transition from the design stage of a system to its implementation providing an automatic way of mapping a choreograhy into executable code. In this work, we focus on an extension of choreography with a comm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009